The Even More Irresistible SROIQ Ian Horrocks and Oliver Kutz and Ulrike Sattler School of Computer Science, The University of Manchester Kilburn Building, Oxford Road, Manchester M13 9PL, UK {Horrocks, Kutz, Sattler}@cs

Source URL: staff.cs.manchester.ac.uk

To appear in From Personality to Virtue, eds. A. Masala and J. Webber, Oxford University Press. DRAFT: Please do not quote without permission of the authors; comments welcome at or drkelly@

Source URL: web.ics.purdue.edu

Parameterised Pushdown Systems with Non-Atomic Writes M. Hague Oxford University, Department of Computer Science and Laboratoire d’Informatique Gaspard-Monge, Universit´e Paris-Est

Source URL: www.cs.rhul.ac.uk

Ontological Independence as the Mark of the Real Jody Azzouni. Deflating Existential Consequence: A Case for Nominalism. New York: Oxford University Press, 2004. Pp. viii + 241. ISBNReviewed by Mark Colyva

Source URL: www.colyvan.com

The Historical Source of the Bigrade Transitivity Alternations in Japanese1 Bjarke Frellesvig (University of Oxford / NINJAL) John Whitman (NINJAL) 1. Introduction A well known feature of the Japanese verbal lexicon is t

Source URL: pj.ninjal.ac.jp

• Syntax
• Linguistics
• Linguistic typology
• Archaic Japanese language
• Japanese language
• Linguistic morphology
• Early Middle Japanese
• Agglutinative languages
• Indo-European linguistics
• Old Japanese
• Verb
• Transitive verb

Think before you Act! Minimising Action Execution in Wrappers∗ Tim Furche, Giovanni Grasso, Christian Schallhart, Andrew Sellers Dep. of Computer Science, Oxford University Parks Road, Oxford OX1 3QD

Source URL: christian.schallhart.net

Texts and contexts: the cultural legacies of Ada Lovelace An interdisciplinary workshop for postgraduates and early career researchers Tuesday 8 December 2015 Mathematics Institute, University of Oxford Registration is

Source URL: blogs.bodleian.ox.ac.uk

A New Design Technique for Weakly Indicating Function Blocks P. Balasubramanian, D.A. Edwards School of Computer Science, The University of Manchester, Oxford Road, Manchester Ml 3 9PL, United Kingdom. E-mail: (padmanab,

Source URL: apt.cs.manchester.ac.uk

The Even More Irresistible SROIQ Ian Horrocks and Oliver Kutz and Ulrike Sattler School of Computer Science, The University of Manchester Kilburn Building, Oxford Road, Manchester M13 9PL, UK {Horrocks, Kutz, Sattler}@cs

Source URL: www.cs.man.ac.uk

InKreSAT: Modal Reasoning via Incremental Reduction to SAT Mark Kaminski1 and Tobias Tebbi2 1 Department of Computer Science, University of Oxford, UK

Source URL: www.ps.uni-saarland.de